-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Convert images to webp and add scripts to keep doing so #189
Conversation
|
👍 All image files/references (if any) are in webp format, in line with our policy. |
@flavioazevedo after you probably received a ridiculous amount of notifications from this, it is now good for review. Converting the images to webp will make the webpage a bit faster and smaller, and meet a grant objective. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I cannot stress how amazing this is @LukasWallrich ! REALLY, this is freaking awesome! WOW! THANK YOU!
On reflection, it makes little sense to convert to webp on GitHub - there might be exceptions to handle. Instead, this PR converts all jpg/png files to webp (faster and smaller images), adds a script to do such conversions locally when needed, and adds an action that highlights the potential need to convert to webp on PRs that contain pictures - but leaving it up to the contributor / reviewer whether to bother with that at this moment.